Verbum

АДНО́СІН ТЭО́РЫЯ,

раздзел фармальнай логікі, дзе разглядаюцца агульныя ўласцівасці адносін і законы, якім яны падпарадкоўваюцца. Распрацавана А. дэ Морганам, Ч.С.Пірсам і Э.Шрэдэрам. Асн. кірунак — вылічэнне адносін, блізкае да тэорыі класаў; даследаванне сувязі паміж адносінамі і аперацыі над імі, устанаўленне законаў, пры дапамозе якіх з адных адносін можна вывесці другія. У матэм. логіцы адносін тэорыя звязана з вывучэннем уласцівасцяў і вылічэннем прэдыкатаў, адносін тоеснасці, роўнасці, прыналежнасці элемента да пэўнага класа аб’ектаў і інш.

т. 1, с. 124